Theaxiomaticsettheory相关论文
Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of C......
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axioma......